# Term logic rules
ADD_GUILE_MODULE(FILES
	deduction.scm
	formulas.scm
	MODULE_DESTINATION "${DATADIR}/scm/opencog/pln/rules/term"
)
